Section: Dissemination

Ph. D. Theses

Roméo Courbis has defended his Ph. D thesis (University of Franche Comté) entitled “Contributions à l'analyse de systèmes par approximation d'ensembles réguliers”, on September 15, 2011.

Pierre-Christophe Bué has defended his Ph. D thesis (University of Franche Comté) entitled “Contributions à la génération automatique de tests à partir de critères de sélection dynamique par abstraction de modèles”, on September 16, 2011.

Tigran Avanesov has defended his Ph. D thesis (U. Henri Poincaré) entitled “Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés”, on September 19, 2011.

Mumtaz Ahmad has defended his Ph. D thesis (U. Henri Poincaré) entitled “Stratégies d'optimisation de la mémoire pour la calcul d'applications linéaires et l'indexation de document partagés”, on November 14, 2011.

Stefan Ciobaca has defended his Ph. D thesis (École Normale Supérieure de Cachan) entitled “Verification and Composition of Security Protocols with Applications to Electronic Voting”, on December 9, 2011.

Mathilde Arnaud has defended her Ph. D thesis (École Normale Supérieure de Cachan) entitled “Vérification formelle de protocoles de routage sécurisés”, on December 13, 2011.

Anis Mohamed Mekki has defended his Ph. D thesis (U. Henri Poincaré) entitled “Synthèse et Compilation de Services Web Sécurisés”, on December 19, 2011.